High-Level Specification of Behavioural Hardware Models with MODES

نویسندگان

  • Hans Peter Amann
  • Philippe Moeschler
  • Fausto Pellandini
  • Alain Vachoux
  • Charles Munk
  • Daniel Mlynek
چکیده

The ever increasing complexity of digital hardware, forces the hardware designer to switch from a low-level capture-andsimulation process to a high-level design-and-synthesis process. In order to assist the designer during the specification phase, we designed MODES, a new high-level specification environment. MODES integrates graphical specification capture in various behavioural representations, a facility to merge various specification formats, a high-level simulation tool and, finally, code generation for simulation and synthesis, e.g. in VHDL-1076, IEEE's hardware description language. Furthermore, some verification and consistency-check mechanisms have been integrated.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Object-oriented Analysis and System Level Architecture

The growing complexity of hardware/software systems requires a system level specification and design approach. There are many practical problems in the application of object-oriented methods for this goal. Our aim is to explore the use of formal executable models on a system level as an approach for hardware/software co-specification. This paper reports experiences in developing executable spec...

متن کامل

A Graphical Approach to Analogue Behavioural Modelling

In order to master the growing complexity of analogue electronic systems, modelling and simulation of analogue hardware at various levels is absolutely necessary. This paper presents an original modelling method based on the graphical description of analogue electronic functional blocks. This method is intended to be automated and integrated into a design framework: specialists create behaviour...

متن کامل

Behavioural Synthesis of an Adaptive Viterbi Decoder

The synthesis of a hardware implementation of a Viterbi decoder from a behavioural specification is discussed. This is applied to a parallelized version of a BCH decoder. A parameterizable high-level VHDL model of the parallel decoder has been developed. Scalability of the parallel decoder in hardware is demonstrated. An extension of this technique to an adaptive decoder is discussed.

متن کامل

An Expert Assistant for Hardware Systems Specification

This paper presents the Module Manager as a novel approach to assist the designer in the specification of hardware systems. This flexible expert system proposes, at a high level of abstraction, behavioral solutions that match the designer's requirements. Models are selected from a repository composed of designs previously specified within the MODES environment. Thereby, the Module Manager allow...

متن کامل

Automatic Mapping from Statecharts to Verilog

Statecharts is a visual formalism suitable for high-level system specification, while Verilog is a hardware description language that can be used for both behavioural and structural specification of (hardware) systems. This paper implements a semantics-preserving mapping from Graphical Statecharts to Verilog programs, which, to the best of our knowledge, is the first algorithm to bridge the gap...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994